Determinacy in the difference hierarchy of co-analytic sets
نویسندگان
چکیده
منابع مشابه
Determinacy in the Difference Hierarchy of Co-Analytic Sets
1 Abstract Equivalents have been established between the determinacy of games played at various intervals of the diierence hierarchy of co-analytical sets, with embeddings of inner models, by the work of Martin. Taken together with a theorem of Harrington, these yield a strictly level-by-level description for most levels. We complete this analysis by establishing suitable equivalences for the r...
متن کاملWadge Hierarchy of differences of Co-analytic Sets
We begin the fine analysis of non Borel pointclasses. Working in ZFC + ̃ 11), we describe the Wadge hierarchy of the class of increasing differences of coanalytic subsets of the Baire space by extending results obtained by Louveau ([5]) for the Borel sets. Introduction. Collections of substets of the Baire space, the "logician’s reals", that are closed under continuous preimages have always been...
متن کاملCalibrating Determinacy strength in Levels of the Borel Hierarchy
We analyze the set-theoretic strength of determinacy for levels of the Borel hierarchy of the form Σ01+α+3, for α < ω1. Well-known results of H. Friedman and D.A. Martin have shown this determinacy to require α+1 iterations of the Power Set Axiom, but we ask what additional ambient set theory is strictly necessary. To this end, we isolate a family of Π1-reflection principles, Π1-RAPα, whose con...
متن کاملFuzzy analytic hierarchy process with interval type-2 fuzzy sets
Article history: Received 15 November 2012 Received in revised form 3 January 2014 Accepted 1 February 2014 Available online 10 February 2014
متن کاملThe axiom of determinacy and the Wadge hierarchy
s for tutorials Alessandro Andretta, The axiom of determinacy and the Wadge hierarchy page 3 Martin Goldstern Real forcing page 3 Jouko Väänänen Set theory and model-theoretic logics page 4
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1996
ISSN: 0168-0072
DOI: 10.1016/0168-0072(95)00057-7